Issue 490
haskellweekly.newsยท11h
๐Ÿ”—Functional Compilers
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.orgยท19h
๐ŸงฎKolmogorov Bounds
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.ukยท5hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
haskell/mtl
github.comยท21h
๐Ÿ”—Functional Compilers
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.orgยท11hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.toยท13hยท
Discuss: DEV
๐Ÿ”ฌRefinement Types
What I learned building a programming language with LLM agents
eddmann.comยท6hยท
Discuss: Hacker News
๐Ÿ—ฃ๏ธDomain-Specific Languages
Advent of Code: Libraries
elly.townยท1d
๐Ÿ”’Type Safety
Carbon Copy No.8: Classes Part II
github.comยท16hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Efficient evaluation of expressions specified in the GO runtime
reddit.comยท16hยท
Discuss: r/golang
๐Ÿ”—Functional Compilers
Controlling program flow with capabilities in Scala
nrinaudo.github.ioยท13hยท
๐Ÿง Lisp Dialects
2025-09-17: Classic Machine Learning Models and XAI Methods
ws-dl.blogspot.comยท1dยท
๐Ÿง Machine Learning
Learning languages with the help of algorithms
johndcook.comยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท2dยท
๐Ÿ”—Concatenative Programming
Generalised Reachability Games Revisited
arxiv.orgยท19h
๐Ÿ”ฒCellular Automata
A Hands-On Introduction to cuML for GPU-Accelerated Machine Learning Workflows
machinelearningmastery.comยท11h
๐ŸŒŠStreaming Algorithms
Cactus Language โ€ข Mechanics 1
inquiryintoinquiry.comยท5h
๐Ÿ“Concrete Syntax
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท3d
๐Ÿ”—Topological Sorting
Managing dependency graph in a large codebase
tweag.ioยท23h
๐Ÿ“ŠDependency Graphs
Language Models Wrestle with Gaps in Understanding
cacm.acm.orgยท6h
๐Ÿ’ปLocal LLMs